On the Formal Specification of Business Contracts and Regulatory Compliance
نویسندگان
چکیده
Today’s business climate requires business processes to meet many compliance regulations, such as Sarbanes-Oxley (SOX) and to adhere to business partner contracts. In this paper, we report a comparative analysis between Linear Temporal Logic and Formal Contract logical languages, which have been successfully utilized in the literature as the formal basis of compliance requirements to enable their automatic verification.
منابع مشابه
The Legal Issues of Electronic Contracts in Australia
The internet has transformed the manner of conducting commercial transactions and has created regulatory gaps. These regulatory gaps may impact the effective development of electronic commerce. Attempts are being made to regulate electronic contracts both at the national and international level. The present research analyses these attempts, in particular the Electronic Transaction Legislation ...
متن کاملShareholder Wealth Effects of MANAGEMENT Regulatory COMPLIANCE
Purpose: This paper addresses whether and how the Sarbanes-Oxley Act of 2002(SOX) affects shareholder wealth (firm value) by focusing on the trade-off between improved corporate governance leading to a lower cost of capital and increased managerial compliance costs of regulations. Design/Methodology: We use an analytical model of solving the management utility maximization function and the cha...
متن کاملOn the Formal Specification of Regulatory Compliance: A Comparative Analysis
Today’s business environment demands a high rate of compliance of service-enabled business processes with which enterprises are required to cope. Thus, a comprehensive compliance management framework is required such that compliance management must crosscut all the stages of the complete business process lifecycle, starting from the very early stages of business process design. Formalizing comp...
متن کاملA toolkit for model checking of electronic contracts
In the business world, contracts are used to regulate business interactions between trading parties. In this context, an electronic contracting systems can be used to monitor business–to–business interactions to ensure that they comply with the rights (permissions), obligations and prohibitions stipulated in contract clauses. Such an electronic contracting system will require an executable vers...
متن کاملThe Journey to Business Process Compliance
It is a typical scenario that many organisations have their business processes specified independently of their business obligations (which includes contractual obligations to business partners, as well as obligations a business has to fulfil against regulations and industry standards). This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts bu...
متن کامل